Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
161	Encoding Zenon Modulo in Dedukti Olivier Hermant CRI, MINES ParisTech and Inria May 26, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:30:32 Sequent calculus Mathematics Deduction Geometric group theory Proof theory Logic Automated theorem proving
162	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
163	Dedukti: A Universal Proof Checker Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-10 11:27:57 Computing Lambda calculus Program analysis Type system ParisTech Normalisation by evaluation Coq Valuation Programming language theory Software engineering Type theory
164	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
165	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
166	A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:17:21 Symbol Mathematics Curry–Howard correspondence Logic Natural deduction Proof theory Logic in computer science Mathematical logic
167	Towards Normalization by Evaluation for the βη-Calculus of Constructions (Extended Version) Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:19 Mathematical logic Lambda calculus Normalisation by evaluation Valuation Natural deduction Curry–Howard correspondence Abstract algebra Mathematics Proof theory
168	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
169	Microsoft Word - DMC_8ATNS Add to Reading List Source URL: singaporemathematics.com Language: English - Date: 2014-10-23 14:12:45 Mathematical analysis Mathematical fallacy Proof theory Differential equation Differential calculus Calculus Ordinary differential equations Mathematics
170	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics